| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-10-31 | Stabilize the `re_rebalance_coherence` feature | Ohad Ravid | -2/+2 |
| 2019-10-28 | Do not display ADT type arguments and fix rebase | Esteban Küber | -4/+8 |
| 2019-10-14 | Add more coherence tests | Georg Semmler | -0/+21 |
